منابع مشابه
Description Logics with Concrete Domains and Aggregation
We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max; count; sum), which are usually available in database systems. On the one hand, we show that this extension may lead to undecidability of the basic inference problems satisfiability and subsumption. This is true even for a very small Descriptio...
متن کاملresponse articles: micro and macro analysis
the present study reports an analysis of response articles in four different disciplines in the social sciences, i.e., linguistics, english for specific purposes (esp), accounting, and psychology. the study has three phases: micro analysis, macro analysis, and e-mail interview. the results of the micro analysis indicate that a three-level linguistic pattern is used by the writers in order to cr...
15 صفحه اولModeling Hybrid Domains Using Process Description Language
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain values that are in constant change. In this paper we introduce an action language for modeling such hybrid domains called the process description language. We discuss the syntax and semantics of the language, model an exam...
متن کاملDescription Logics with Fuzzy Concrete Domains
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.
متن کاملDoing/Allowing Harm Distinction:A Description, Analysis and Critique of Accounts of Donagan, Foot, Quinn and Bennet
The subject of "harm" and its binary distinction is one of the most recent topics in moral philosophy which has been dealt with by some moral philosophers in the last three decades. In recent years, there have also been some Iranian publications under this topic. The do/allow distinction is one of the distinctions. Moderate and minimalist philosophers who are advocates of this distinction offer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2016
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-016-0385-z